On the Axiomatisation of Elgesem's Logic of Agency and Ability
نویسندگان
چکیده
In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem’s modal logic of agency and ability using semantics with different flavours.
منابع مشابه
On the Formal Structure of Continuous Action
Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as well. The paper shows that while the modal-logical treatment of agency in branching time-based stit theory is currently unable to handle continuous action, the stit framework can be extended such as to handle these cases as well. ...
متن کاملThe effect of financial statements readability on the agency cost
The ambiguity in the readability of financial statements has led to a reduction in the ability of investors to analyze and understand financial information and can be a factor in modifying the agency cost. The purpose of this paper is to examine the role of audit quality and the quality of internal controls in adjusting the relationship between the readability of financial statements and agency...
متن کاملAgency, Structure and the Power of Global Health Networks
Global health networks—webs of individuals and organizations linked by a shared concern for a particular condition—have proliferated over the past quarter century. In a recent editorial in this journal, I presented evidence that their effectiveness in addressing four challenges—problem definition, positioning, coalitionbuilding and governance—shapes their ability to influence policy. The editor...
متن کاملAn Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملA NOTE ON THE COMPLETENESS OF KOZEN’S AXIOMATISATION OF THE PROPOSITIONAL ì-CALCULUS
The propositional ì-calculus is an extension of the modal system K with a least fixpoint operator. Kozen posed a question about completeness of the axiomatisation of the logic which is a small extension of the axiomatisation of the modal system K. It is shown that this axiomatisation is complete. §
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 34 شماره
صفحات -
تاریخ انتشار 2005